Abstract data types - PDFSEARCH.IO - Document Search Engine

Abstract data types
Results: 538

#	Item
281	Idempotent Work Stealing Maged M. Michael Martin T. Vechev Vijay A. Saraswat Add to Reading List Source URL: www.srl.inf.ethz.ch Language: English - Date: 2011-10-04 10:23:56 Concurrency control Scheduling algorithms Computer programming Double-ended queue Non-blocking algorithm FIFO Algorithm Cilk Stack Computing Concurrent computing Abstract data types
282	I DRIS — Systems Programming Meets Full Dependent Types Edwin C. Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed] Abstract Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2010-11-18 11:51:31 C++ Data types Functional programming Type theory Theoretical computer science ATS Polymorphism Pattern matching C++ classes Software engineering Computing Computer programming
283	Usage AIS Data for Analyzing Ship’s Motion Intensity K. Naus, A. Makar & J. Apanowicz Polish Naval Academy, Gdynia, Poland ABSTRACT: In preliminary unit of report were introduced order, structure and format of VDM code Add to Reading List Source URL: transnav2007.am.gdynia.pl Language: English - Date: 2010-03-14 05:12:48 Computing Technology Binary arithmetic Data types Primitive types Bit Ip Transport Automatic Identification System Water transport
284	Iterators Must Go Andrei Alexandrescu c 2009 Andrei Alexandrescu Add to Reading List Source URL: accu.org Language: English - Date: 2009-06-15 10:50:27 Software engineering C++ Standard Library C++ Alexandrescu Abstract data types Iterator Container Algorithm Standard Template Library Computing Computer programming Object-oriented programming
285	Bignum Arithmetic Felix von Leitner CCC Berlin [removed] December 2006 Abstract Add to Reading List Source URL: dl.fefe.de Language: English - Date: 2006-12-25 09:51:14 Software engineering Data types C++ Primitive types C programming language Arbitrary-precision arithmetic Sizeof GNU Multiple Precision Arithmetic Library Integer Computing Computer arithmetic Computer programming
286	Analysis of Format String Bugs Andreas Thuemmel, [removed] - Version 1.0, [removed]Introduction and Abstract The exploitation of format string bugs represents a new technique for attacks that can Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2011-02-01 10:01:23 Procedural programming languages Data types Primitive types C Standard Library Printf format string Software bugs Uncontrolled format string Printf WU-FTPD Computing Software engineering Computer programming
287	User-extensible sequences in Common Lisp Christophe Rhodes Goldsmiths, University of London New Cross Road, London, SE14 6NW [removed] Add to Reading List Source URL: www.doc.gold.ac.uk Language: English - Date: 2007-04-05 15:50:04 Lisp programming language Abstract data types Functional languages Object-oriented programming Common Lisp Lisp Iterator Generic function Mixin Software engineering Computing Computer programming
288	The camel has two humps (working title) Saeed Dehnadi and Richard Bornat School of Computing, Middlesex University, UK February 22, 2006 Abstract Learning to program is notoriously difficult. A substantial minority of st Add to Reading List Source URL: www.eis.mdx.ac.uk Language: English - Date: 2006-03-02 05:17:31 Procedural programming languages Type theory Data types Programming paradigms Richard Bornat ALGOL 68 Programming language Assignment C Software engineering Computing Computer programming
289	Practical Variable-Arity Polymorphism T. Stephen Strickland, Sam Tobin-Hochstadt, and Matthias Felleisen PLT @ Northeastern University Abstract. Just as some functions have uniform behavior over distinct types, other fun Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Mathematics Data types Subroutines Universal algebra Lambda calculus Type inference Type system Variadic function Map Software engineering Type theory Computing
290	Lecture VI Page 1 “ ...self-amortizing canals... ” – Mr. Banks in Mary Poppins (the movie) Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2012-09-25 12:20:50 Data structures Analysis of algorithms Computer science Abstract data types Splay tree Potential method Amortized analysis Fibonacci heap Binary search tree Binary trees Graph theory Theoretical computer science

UPDATE